(declare-const x Float32)
(assert (= x ((_ to_fp 8 24) #x00000000)))
(declare-const y Float32)
(assert (= y ((_ to_fp 8 24) #x00000000)))
(declare-const z Float32)
(assert (= z (_ -zero 8 24)))
(declare-const result Float32)
(assert (= result (fp.fma RNE x y z)))
(assert (= result (fp #b0 #b00000000 #b00000000000000000000000)))
(check-sat)
